Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2024
More Apps, Faster Hot-Launch on Mobile Devices via Fore/Background-aware GC-Swap Co-design
ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3April 2024, pp 654–670https://doi.org/10.1145/3620666.3651377Faster app launching is crucial for the user experience on mobile devices. Apps launched from a background cached state, called hot-launching, have much better performance than apps launched from scratch. To increase the number of hot-launches, leading ...
- research-articleApril 2024
A Flexible and Broad Operating System Project
ACM SE '24: Proceedings of the 2024 ACM Southeast ConferenceApril 2024, pp 27–34https://doi.org/10.1145/3603287.3651190A course in operating systems is uniquely challenging to plan and execute effectively largely because operating systems are complex and class time is precious. Traditional approaches vary in how they balance theory and practice, with the typical course ...
- research-articleApril 2024
Loupe: Driving the Development of OS Compatibility Layers
- Hugo Lefeuvre,
- Gaulthier Gain,
- Vlad-Andrei Bădoiu,
- Daniel Dinca,
- Vlad-Radu Schiller,
- Costin Raiciu,
- Felipe Huici,
- Pierre Olivier
ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1April 2024, pp 249–267https://doi.org/10.1145/3617232.3624861Supporting mainstream applications is fundamental for a new OS to have impact. It is generally achieved by developing a layer of compatibility allowing applications developed for a mainstream OS like Linux to run unmodified on the new OS. Building such a ...
- ArticleJanuary 2024
OpenBSD Formal Driver Verification with SeL4
Innovative Security Solutions for Information Technology and CommunicationsNov 2023, pp 144–156https://doi.org/10.1007/978-3-031-52947-4_11AbstractThe seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel’s code results from its important role in the entire operating system. One of the ...
- research-articleDecember 2023
Architectural Support for Optimizing Huge Page Selection Within the OS
MICRO '23: Proceedings of the 56th Annual IEEE/ACM International Symposium on MicroarchitectureOctober 2023, pp 1213–1226https://doi.org/10.1145/3613424.3614296Irregular, memory-intensive applications often incur high translation lookaside buffer (TLB) miss rates that result in significant address translation overheads. Employing huge pages is an effective way to reduce these overheads, however in real systems ...
-
- research-articleNovember 2023
RDARuntime: An OS for AI Accelerators
SC-W '23: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and AnalysisNovember 2023, pp 1576–1587https://doi.org/10.1145/3624062.3624235Today’s supercomputers are more heterogeneous than ever before. As the share of AI workloads in data centers continues to grow, the share of GPUs and AI-specific hardware grows with it. AI accelerators are different from traditional hardware, affecting ...
- research-articleSeptember 2023
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency
ACM Transactions on Embedded Computing Systems (TECS), Volume 22, Issue 5sArticle No.: 140, pp 1–22https://doi.org/10.1145/3607937A crucial design factor for users of smart mobile devices is the latency of graphical interface interaction. Switching a background app to foreground is a frequent operation on mobile devices and the latency of this process is highly perceivable to users. ...
- research-articleAugust 2023
Towards Application Centric Carbon Emission Management
HotCarbon '23: Proceedings of the 2nd Workshop on Sustainable Computer SystemsJuly 2023, Article No.: 5, pp 1–7https://doi.org/10.1145/3604930.3605725Reducing the carbon emission of computing systems has become a first-order optimization goal distinct from optimizing for performance or energy consumption. Carbon emissions are due to application execution on a target system (operational emissions) ...
- research-articleAugust 2023
Carbon-Aware Memory Placement
HotCarbon '23: Proceedings of the 2nd Workshop on Sustainable Computer SystemsJuly 2023, Article No.: 3, pp 1–7https://doi.org/10.1145/3604930.3605714The carbon footprint of software activities is determined by embodied and operational emissions of hardware resources. This paper presents cMemento, a concept that enables operating systems to make carbon-aware memory placement decisions.
Main ...
- research-articleAugust 2023
The Case of Unsustainable CPU Affinity
HotCarbon '23: Proceedings of the 2nd Workshop on Sustainable Computer SystemsJuly 2023, Article No.: 1, pp 1–7https://doi.org/10.1145/3604930.3605706CPU affinity reduces data copies and improves data locality and has become a prevalent technique for high-performance programs in datacenters. This paper explores the tension between CPU affinity and sustainability. In particular, affinity settings ...
- research-articleJune 2023
Putting out the hardware dumpster fire
HOTOS '23: Proceedings of the 19th Workshop on Hot Topics in Operating SystemsJune 2023, pp 46–52https://doi.org/10.1145/3593856.3595903The immense hardware complexity of modern computers, both mobile phones and datacenter servers, is a seemingly endless source of bugs and vulnerabilities in system software.
Classical OSes cannot address this, since they only run on a small subset ...
- research-articleJune 2023
Contiguitas: The Pursuit of Physical Memory Contiguity in Datacenters
- Kaiyang Zhao,
- Kaiwen Xue,
- Ziqi Wang,
- Dan Schatzberg,
- Leon Yang,
- Antonis Manousis,
- Johannes Weiner,
- Rik Van Riel,
- Bikash Sharma,
- Chunqiang Tang,
- Dimitrios Skarlatos
ISCA '23: Proceedings of the 50th Annual International Symposium on Computer ArchitectureJune 2023, Article No.: 44, pp 1–15https://doi.org/10.1145/3579371.3589079The unabating growth of the memory needs of emerging datacenter applications has exacerbated the scalability bottleneck of virtual memory. However, reducing the excessive overhead of address translation will remain onerous until the physical memory ...
- research-articleMay 2023
Virtual-Memory Assisted Buffer Management
Proceedings of the ACM on Management of Data (PACMMOD), Volume 1, Issue 1Article No.: 7, pp 1–25https://doi.org/10.1145/3588687Most database management systems cache pages from storage in a main memory buffer pool. To do this, they either rely on a hash table that translates page identifiers into pointers, or on pointer swizzling which avoids this translation. In this work, we ...
- research-articleMay 2023
Making Dynamic Page Coalescing Effective on Virtualized Clouds
EuroSys '23: Proceedings of the Eighteenth European Conference on Computer SystemsMay 2023, pp 298–313https://doi.org/10.1145/3552326.3567487Using huge pages has become a mainstream method to reduce address translation overhead for big memory workloads in modern computer systems. To create huge pages, system software usually uses page coalescing methods to dynamically combine contiguous ...
- research-articleMarch 2023
Transparent Runtime Change Handling for Android Apps
ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3March 2023, pp 756–770https://doi.org/10.1145/3582016.3582060Mobile devices often face runtime configuration changes, such as screen orientation changes, screen resizing, and language switching. The current Android design adopts a restarting-based solution to load the corresponding resources according to the ...
- research-articleMarch 2023
Fight Hardware with Hardware: Systemwide Detection and Mitigation of Side-channel Attacks Using Performance Counters
Digital Threats: Research and Practice (DTRAP), Volume 4, Issue 1Article No.: 5, pp 1–24https://doi.org/10.1145/3519601We present a kernel-level infrastructure that allows systemwide detection of malicious applications attempting to exploit cache-based side-channel attacks to break the process confinement enforced by standard operating systems. This infrastructure relies ...
- research-articleMarch 2023
Towards Porting Operating Systems with Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 45, Issue 1Article No.: 2, pp 1–70https://doi.org/10.1145/3563943The end of Moore’s Law has ushered in a diversity of hardware not seen in decades. Operating system (OS) (and system software) portability is accordingly becoming increasingly critical. Simultaneously, there has been tremendous progress in program ...
- research-articleJanuary 2023
Ecovisor: A Virtual Energy System for Carbon-Efficient Applications
ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2January 2023, pp 252–265https://doi.org/10.1145/3575693.3575709Cloud platforms' rapid growth is raising significant concerns about their carbon emissions. To reduce carbon emissions, future cloud platforms will need to increase their reliance on renewable energy sources, such as solar and wind, which have zero ...
- research-articleJanuary 2023
Towards a Machine Learning-Assisted Kernel with LAKE
- Henrique Fingler,
- Isha Tarte,
- Hangchen Yu,
- Ariel Szekely,
- Bodun Hu,
- Aditya Akella,
- Christopher J. Rossbach
ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2January 2023, pp 846–861https://doi.org/10.1145/3575693.3575697The complexity of modern operating systems (OSes), rapid diversification of hardware, and steady evolution of machine learning (ML) motivate us to explore the potential of ML to improve decision-making in OS kernels. We conjecture that ML can better ...
- research-articleNovember 2022
SFS: smart OS scheduling for serverless functions
SC '22: Proceedings of the International Conference on High Performance Computing, Networking, Storage and AnalysisNovember 2022, Article No.: 42, pp 1–16Serverless computing enables a new way of building and scaling cloud applications by allowing developers to write fine-grained serverless or cloud functions. The execution duration of a cloud function is typically short---ranging from a few milliseconds ...